open Jopruntime
open Jopruntime.Circuit

let minus x =
	< y; c, t >
	| y = xor_ x c
	| t = or_ x y
	| c = reg t
;;

let main n =
  < x, y >
    | x = input "x" 1

    | y = minus x

    | (output "y" y)
;;

(* Ligne qu'on pourra retirer plus tard *)
temp_gen (fst (main ())) Sys.argv.(1);;
